$\forall$${\it the\_w}$:World, $l$:IdLnk, $e$:E. sends($l$;$e$) $\in$ Msg\_sub($l$;${\it the\_w}$.M) List